HTML file:

HTML:

HTML tools

	Edit Source
	Show HTML
	Show HTML + Source
	Reload
	Save

Default font and color

Scrolling

	x	y
Scroll position
Use scrollbars

HTML help